#include "nuclei_sdk_hal.h"
#include "nuclei_sdk_soc.h"

#define eclic_irq_enable(IRQn, lvl, priority)   ECLIC_EnableIRQ(IRQn);\
                                                ECLIC_SetLevelIRQ(IRQn, lvl);\
                                                ECLIC_SetPriorityIRQ(IRQn, priority)

#define eclic_irq_disable(IRQn)                 __ECLIC_DisableIRQ(IRQn)         

#define TMR_CTRL_ADDR   __SYSTIMER_BASEADDR
#define TMR_MTIMECMP    0x8
#define TMR_MTIMECMP_LO    0x8
#define TMR_MTIMECMP_HI    0xC
#define TMR_MTIME       0x0
#define TMR_MTIME_LO       0x0
#define TMR_MTIME_HI       0x4
#define CLIC_INT_TMR    7

